Peter Sestoft: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (32)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Mix: A self-applicable partial evaluator for experiments in compiler generation

Neil D. Jones, Peter Sestoft, Harald Søndergaard

Журнал:

Higher-Order and Symbolic Computation

Рік:

1989

Мова:

english

Файл:

PDF, 2.79 MB

english, 1989

2

Abstract machines for programming language implementation

Stephan Diehl, Pieter Hartel, Peter Sestoft

Журнал:

Future Generation Computer Systems

Рік:

2000

Мова:

english

Файл:

PDF, 118 KB

english, 2000

3

Guest editors' foreword

Peter Sestoft, Harald Søndergaard

Журнал:

Higher-Order and Symbolic Computation

Рік:

1995

Мова:

english

Файл:

PDF, 80 KB

english, 1995

4

Editorial

Julia Lawall, Michael Leuschel, Peter Sestoft

Журнал:

Higher-Order and Symbolic Computation

Рік:

2008

Мова:

english

Файл:

PDF, 105 KB

english, 2008

5

[Undergraduate Topics in Computer Science] Programming Language Concepts Volume 50 || From Concrete Syntax to Abstract Syntax

Рік:

2012

Мова:

english

Файл:

PDF, 247 KB

english, 2012

6

Deriving a lazy abstract machine

Журнал:

Journal of Functional Programming

Рік:

1997

Мова:

english

Файл:

PDF, 359 KB

english, 1997

7

Ag-catalyzed InAs nanowires grown on transferable graphite flakes

Meyer-Holdt, Jakob, Kanne, Thomas, Sestoft, Joachim E, Gejl, Aske, Zeng, Lunjie, Johnson, Erik, Olsson, Eva, Nygård, Jesper, Krogstrup, Peter

Журнал:

Рік:

2016

Мова:

english

Файл:

PDF, 16.46 MB

english, 2016

8

[ACM Press the 4th ACM SIGPLAN International Workshop - Barcelona, Spain (2017.06.18-2017.06.18)] Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY 2017 - Quad Ropes: immutable, declarative arrays with parallelizable operations

Biermann, Florian, Sestoft, Peter

Рік:

2017

Мова:

english

Файл:

PDF, 178 KB

english, 2017

9

Demonstrating Lambda Calculus Reduction

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2001

Мова:

english

Файл:

PDF, 129 KB

english, 2001

10

Organizing research data

Журнал:

Acta Veterinaria Scandinavica

Рік:

2011

Мова:

english

Файл:

PDF, 375 KB

english, 2011

11

Referential transparency, definiteness and unfoldability

Harald Søndergaard, Peter Sestoft

Журнал:

Acta Informatica

Рік:

1990

Мова:

english

Файл:

PDF, 760 KB

english, 1990

12

Monte Carlo Simulations of PAC-Spectra as a General Approach to Dynamic Interactions

Eva Danielsen, Lars Elkjær Jørgensen, Peter Sestoft

Журнал:

Hyperfine Interactions

Рік:

2002

Мова:

english

Файл:

PDF, 288 KB

english, 2002

13

[Undergraduate Topics in Computer Science] Programming Language Concepts Volume 50 || Higher-Order Functions

Рік:

2012

Мова:

english

Файл:

PDF, 183 KB

english, 2012

14

[Undergraduate Topics in Computer Science] Programming Language Concepts Volume 50 || Compiling Micro-C

Рік:

2012

Мова:

english

Файл:

PDF, 241 KB

english, 2012

15

[Undergraduate Topics in Computer Science] Programming Language Concepts Volume 50 || Polymorphic Types

Рік:

2012

Мова:

english

Файл:

PDF, 225 KB

english, 2012

16

[Undergraduate Topics in Computer Science] Programming Language Concepts Volume 50 || Garbage Collection

Рік:

2012

Мова:

english

Файл:

PDF, 333 KB

english, 2012

17

[Undergraduate Topics in Computer Science] Programming Language Concepts Volume 50 || Interpreters and Compilers

Рік:

2012

Мова:

english

Файл:

PDF, 210 KB

english, 2012

18

Prevalence of ICD-10 psychiatric morbidity in random samples of prisoners on remand

Henrik Steen Andersen, Dorte Sestoft, Tommy Lillebæk, Gorm Gabrielsen, Peter Kramp

Журнал:

International Journal of Law and Psychiatry

Рік:

1996

Мова:

english

Файл:

PDF, 900 KB

english, 1996

19

Mental disorders and charges of violent offences. A study of male adolescent remand prisoners

N. Patrick Gosden, Peter Kramp, Gorm Gabrielsen, Tavs Folmer Andersen, Dorte Sestoft

Журнал:

International Journal of Law and Psychiatry

Рік:

2006

Мова:

english

Файл:

PDF, 134 KB

english, 2006

20

Determination of the kinetic constants of fructose transport and phosphorylation in the perfused rat liver

Leif Sestoft, Peter Fleron

Журнал:

Biochimica et Biophysica Acta (BBA) - Biomembranes

Рік:

1974

Мова:

english

Файл:

PDF, 515 KB

english, 1974

21

Kinetics of glycerol uptake by the perfused rat liver Membrane transport, phosphorylation and effect on NAD redox level

Leif Sestoft, Peter Fleron

Журнал:

Biochimica et Biophysica Acta (BBA) - Biomembranes

Рік:

1975

Мова:

english

Файл:

PDF, 491 KB

english, 1975

22

Modeling the Kinetics of the Competitive Adsorption and Desorption of Glyphosate and Phosphate on Goethite and Gibbsite and in Soils

Gimsing, Anne Louise, Borggaard, Ole K., Sestoft, Peter

Журнал:

Environmental Science & Technology

Рік:

2004

Мова:

english

Файл:

PDF, 72 KB

english, 2004

23

[Undergraduate Topics in Computer Science] Programming Language Concepts Volume 50 ||

Рік:

2012

Мова:

english

Файл:

PDF, 1.75 MB

english, 2012

24

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3924 || Embedding Dynamic Dataflow in a Call-by-Value Language

Рік:

2006

Мова:

english

Файл:

PDF, 505 KB

english, 2006

25

[ACM Press the 4th international workshop - Leipzig, Germany (2008.05.12-2008.05.12)] Proceedings of the 4th international workshop on End-user software engineering - WEUSE '08 - Implementing function spreadsheets

Рік:

2008

Мова:

english

Файл:

PDF, 369 KB

english, 2008

26

[ACM Press the 3rd ACM SIGPLAN workshop - Gothenburg, Sweden (2014.09.04-2014.09.04)] Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing - FHPC '14 - Pension reserve computations on GPUs

Harrington, Christian, Dahl, Nicolai, Sestoft, Peter, Christiansen, David Raymond

Рік:

2014

Мова:

english

Файл:

PDF, 537 KB

english, 2014

27

An experiment in partial evaluation

Jones, Neil D., Sestoft, Peter, Søndergaard, Harald

Журнал:

ACM SIGPLAN Notices

Рік:

1985

Мова:

english

Файл:

PDF, 296 KB

english, 1985

28

[ACM Press the 1991 ACM SIGPLAN symposium - New Haven, Connecticut, United States (1991.06.17-1991.06.19)] Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '91 - Globalization and live variables

Gomard, Carsten K., Sestoft, Peter

Рік:

1991

Мова:

english

Файл:

PDF, 1.15 MB

english, 1991

29

[ACM Press the 12th Workshop - Maribor, Slovenia (2010.06.22-2010.06.22)] Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 - Modular verification of linked lists with views via separation logic

Jensen, Jonas Braband, Birkedal, Lars, Sestoft, Peter

Рік:

2010

Мова:

english

Файл:

PDF, 210 KB

english, 2010

30

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015)

Hermans, Felienne, Paige, Richard F., Sestoft, Peter

Рік:

2015

Мова:

english

Файл:

PDF, 609 KB

english, 2015

31

Globalization and live variables

Gomard, Carsten K., Sestoft, Peter

Журнал:

ACM SIGPLAN Notices

Рік:

1991

Мова:

english

Файл:

PDF, 1.15 MB

english, 1991

32

On the semantics for spreadsheets with sheet-defined functions

Bock, Alexander Asp, BÃ¸gholm, Thomas, Sestoft, Peter, Thomsen, Bent, Thomsen, Lone Leth

Журнал:

Journal of Computer Languages

Рік:

2020

Файл:

PDF, 2.22 MB

2020